Ravenscar profile - PDFSEARCH.IO - Document Search Engine

Ravenscar profile
Results: 16

#	Item
11	GNAT Reference Manual GNAT, The GNU Ada Compiler For gcc version[removed]GCC) AdaCore Add to Reading List Source URL: gcc.gnu.org Language: English - Date: 2014-06-12 10:05:01 Ada programming language Ada Directive GNAT ConTeXt D TeX A Sharp Ravenscar profile Computing Software engineering Computer programming
12	FOR IMMEDIATE RELEASE Ada 2012 Language Standard Submitted to ISO Language revision adds contract-based programming, multicore support, and other advanced features STOCKHOLM, SWEDEN, June 12, 2012 – At the Ada-Europe 2 Add to Reading List Source URL: www.ada-europe.org Language: English - Date: 2012-06-16 12:16:39 Computer programming Ada Ravenscar profile A Sharp Control flow ISO/IEC Ada programming language Computing Software engineering
13	FOR IMMEDIATE RELEASE Technical Work on Ada 2005 Standard Completed Formal approval by ISO (International Organization for Standardization) expected by Q4 2006 PORTO, Portugal (June 6, 2006) – On the occasion of the 11 Add to Reading List Source URL: www.ada-europe.org Language: English - Date: 2012-06-08 09:24:00 Computer programming Ada Ravenscar profile ISO/IEC JTC1 A Sharp SQL International Organization for Standardization ISO/IEC Computing Software engineering Ada programming language
14	FOR IMMEDIATE RELEASE Ada 2012 Language Standard Approved by ISO Language revision adds contract-based programming, multicore support, Add to Reading List Source URL: www.ada-europe.org Language: English - Date: 2012-12-18 05:05:57 Computer programming Ada Ravenscar profile ISO/IEC JTC1/SC22 A Sharp SQL ISO/IEC Computing Ada programming language Software engineering
15	Issues with using Ravenscar and the Ada Distributed Systems Annex for High-Integrity Systems Neil Audsley and Andy Wellings Add to Reading List Source URL: www.sigada.org Language: English - Date: 2002-07-01 15:33:24 Inter-process communication Ada programming language Ada Ravenscar profile SPARK Remote procedure call Operating system Message passing Communications protocol Computing Software engineering Computer programming
16	Guide for the use of the Ada Ravenscar Profile in high integrity systems Add to Reading List Source URL: www.sigada.org Language: English - Date: 2004-05-20 13:56:11 Concurrency control Real-time computing Embedded systems Concurrent computing Scheduling Ada Ravenscar profile Priority inversion Worst-case execution time Computing Computer programming Software engineering